On the Definition of UML Refinement Patterns
نویسنده
چکیده
In this article we describe an approach towards increasing the robustness of the UML refinement machinery. The aim of this work is not to formalize the UML notation itself, but to substantiate a number of intuitions about the nature of possible refinement relations in UML, and even to discover particular refinement structures that designers do not perceive as refinements in UML.
منابع مشابه
Heuristics on the Definition of UML Refinement Patterns
In this article we present a strategy to formalize frequently occurring forms of refinement that take place in UML model construction. Such strategy consists in recognizing a set of well founded refinement structures in a formal language which are then immersed into a UML-based development, giving origin to a set of UML refinement patterns. Apart from providing semi-formal evidence on the prese...
متن کاملTraceability Across Refinement Steps in UML Modeling
Documenting the refinement relationship between layers allows developers to verify whether the code meets its specification or not, trace the impact of changes in the business goals and execute test assertions written in terms of abstract model’s vocabulary by translating them to the concrete model’s vocabulary. Refinement has been studied in many formal notations such as Z and B and in differe...
متن کاملProcess-Integrated Refinement Patterns in UML
The Unified Modeling Language (UML) is a widely used standard in Model-Driven Engineering (MDE). Using the UML in a software development process means to refine and evolve models in many ways. Firstly, a system model evolves through different layers of abstraction towards an appropriate design in an object-oriented programming language (vertical refinement). Secondly, a set of consecutive revis...
متن کاملRevealing Undercover Refinement in UML Modeling
Although the Abstraction artifact allows for the explicit documentation of the abstraction/refinement relationship in UML models, an important amount of variations of this relationship remains unspecified, in general hidden under other notations. The starting point to enable traceability of requirements across refinement steps is to discover and precisely capture the various forms of the abstra...
متن کاملBuilding Traceable Event-B Models from Requirements
Constructing traceable Event-B models from requirements is crucial in the system development process. It enables the validation of the model against the requirements and allows to identify different refinement levels, which is a key to successful formal modelling with a refinement-based method. Our objective is to present an approach based on the use of semiformal structures to bridge the gap b...
متن کامل